Standard and Hyperfinite Unifications for Physical Theories
نویسنده
چکیده
A set of physical theories is represented by a nonempty subset {SVNj | j ∈ IN} of the lattice of consequence operators defined on a language Λ. It is established that there exists a unifying injection S defined on the nonempty set of significant representations for naturalsystems M ⊂ Λ. If W ∈ M, then SW is a hyperfinite ultralogic and ⋃ {SVNj (W) | j ∈ IN} = SW( W) ∩ Λ. A “product” hyperfinite ultralogic Π is defined on internal subsets of the product set Λ and shown to represent the application of S to {W1, . . . ,Wm} ⊂ M. There also exists a standard unifying injection SW such that SW( W) ⊂ SW( W).
منابع مشابه
Hyperfinite and Standard Unifications for Physical Theories
A set of physical theories is represented by a nonempty subset {SV Nj | j ∈N} of the lattice of consequence operators defined on a language Λ. It is established that there exists a unifying injection defined on the nonempty set of significant representations for natural systems M ⊂ Λ. If W ∈M , then W is a hyperfinite ultralogic and ⋃{SVNj (W) | j ∈ N} = W(∗W)∩Λ. A “product” hyperfinite ultralo...
متن کاملUnification for Collections of Physical Theories
Let {S′Ni | i ∈ IN} represent a set of consequence operators defined on a language Λ, where each member of {S′Ni | i ∈ IN} corresponds to a science-community physical theory and each Ni is a S′Nj -system for each j ∈ IN. It is shown that there exists a hyperfinite ultralogic U ∈ ∗Cf defined on all internal subsets of Λ such that U 6 = U, and, for each i, j ∈ IN, S Ni ( ∗Nj) = U( ∗Nj). For each ...
متن کاملAn Ultimate Hyperfinite Ultralogic Unification for Collections of Physical Theories
Let {S′Ni | i ∈ IN} represent a set of consequence operators defined on a language Λ, where each member of {S′Ni | i ∈ IN} corresponds to a science-community physical theory and each Ni is a S′Nj -system for each j ∈ IN. It is shown that there exists a hyperfinite ultralogic U ∈ ∗Cf defined on all internal subsets of Λ such that U 6 = U, and, for each i, j ∈ IN, S Ni ( ∗Nj) = U( ∗Nj). For each ...
متن کاملUltralogic Unification for Collections of Physical Theories
Let {S′Ni | i ∈ IN} represent a set of consequence operators defined on a language Λ, where each member of {S′Ni | i ∈ IN} corresponds to a science-community physical theory and each Ni is a S′Nj -system for each j ∈ IN. It is shown that there exists a hyperfinite ultralogic U ∈ ∗Cf defined on all internal subsets of Λ such that U 6 = U, and, for each i, j ∈ IN, S Ni ( ∗Nj) = U( ∗Nj). For each ...
متن کاملThe best possible unification for any collection of physical theories
We show that the set of all finitary consequence operators defined on any nonempty language is a join-complete lattice. This result is applied to various collections of physical theories to obtain an unrestricted standard supremum unification. An unrestricted hyperfinite ultralogic unification for sets of physical theories is also obtained. 1. Introduction. A restricted hyperfinite ultralogic u...
متن کامل